Programación Funcional - Ayuda por favor!!!

Y aquí tengo que escribir el ejercicio

-- Definición de tipos

type TipoFecha = (Int,Int,Int)
type TipoIntervaloFechas = (TipoFecha,TipoFecha)
type TipoIntervalos = [TipoIntervaloFechas]

----------------------------------------------------------

fEsAnterior :: (TipoFecha, TipoFecha) -> Bool
-----Código de la solución

fPertenece :: (TipoFecha, TipoIntervaloFechas) -> Bool
-----Código de la solución

fEstanSolapados :: (TipoIntervaloFechas, TipoIntervaloFechas) -> Bool
-----Código de la solución

fNoSolapados :: (TipoIntervalos,TipoIntervaloFechas) -> TipoIntervalos
-----Código de la solución