export interface LoggerTask<A> {
  (a: A): Task<void>
}

export type URI = typeof URI

export const URI: "LoggerTask" = ...

<A, B>(f: (b: B) => A) => (fa: LoggerTask<A>) => LoggerTask<B>

export const filter: <A>(logger: LoggerTask<A>, predicate: Predicate<A>) => LoggerTask<A> = ...

export const getMonoid: <A = never>() => Monoid<LoggerTask<A>> = ...

export const loggerTask: Contravariant1<URI> = ...