//State
public static MaybeT <State <TState, TResult>, State <TState, Maybe <TResult> >, Maybe <TResult>, TResult> Select <TState, TSource, TResult>(
this MaybeT <State <TState, TSource>, State <TState, Maybe <TSource> >, Maybe <TSource>, TSource> source, Func <TSource, TResult> f)
=> (MaybeT <State <TState, TResult>, State <TState, Maybe <TResult> >, Maybe <TResult>, TResult>)source.MapT <State <TState, TResult>, State <TState, Maybe <TResult> >, Maybe <TResult>, TResult>(f);
//Writer
public static MaybeT <Writer <TOutput, TResult, TMonoid>, Writer <TOutput, Maybe <TResult>, TMonoid>, Maybe <TResult>, TResult> Select <TOutput, TMonoid, TSource, TResult>(
this MaybeT <Writer <TOutput, TSource, TMonoid>, Writer <TOutput, Maybe <TSource>, TMonoid>, Maybe <TSource>, TSource> source, Func <TSource, TResult> f)
where TMonoid : IMonoid <TOutput>
=> (MaybeT <Writer <TOutput, TResult, TMonoid>, Writer <TOutput, Maybe <TResult>, TMonoid>, Maybe <TResult>, TResult>)source.MapT <Writer <TOutput, TResult, TMonoid>, Writer <TOutput, Maybe <TResult>, TMonoid>, Maybe <TResult>, TResult>(f);
//Rws
public static MaybeT <Rws <TEnvironment, TOutput, TMonoid, TState, TResult>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TResult> >, Maybe <TResult>, TResult> Select <TEnvironment, TOutput, TMonoid, TState, TSource, TResult>(
this MaybeT <Rws <TEnvironment, TOutput, TMonoid, TState, TSource>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TSource> >, Maybe <TSource>, TSource> source, Func <TSource, TResult> f)
where TMonoid : IMonoid <TOutput>
=> (MaybeT <Rws <TEnvironment, TOutput, TMonoid, TState, TResult>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TResult> >, Maybe <TResult>, TResult>)source.MapT <Rws <TEnvironment, TOutput, TMonoid, TState, TResult>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TResult> >, Maybe <TResult>, TResult>(f);
//Reader
public static MaybeT <Reader <TEnvironment, TResult>, Reader <TEnvironment, Maybe <TResult> >, Maybe <TResult>, TResult> Select <TEnvironment, TSource, TResult>(
this MaybeT <Reader <TEnvironment, TSource>, Reader <TEnvironment, Maybe <TSource> >, Maybe <TSource>, TSource> source, Func <TSource, TResult> f)
=> (MaybeT <Reader <TEnvironment, TResult>, Reader <TEnvironment, Maybe <TResult> >, Maybe <TResult>, TResult>)source.MapT <Reader <TEnvironment, TResult>, Reader <TEnvironment, Maybe <TResult> >, Maybe <TResult>, TResult>(f);
//Random
public static MaybeT <Random <TRng, TResult>, Random <TRng, Maybe <TResult> >, Maybe <TResult>, TResult> Select <TRng, TSource, TResult>(
this MaybeT <Random <TRng, TSource>, Random <TRng, Maybe <TSource> >, Maybe <TSource>, TSource> source, Func <TSource, TResult> f)
=> (MaybeT <Random <TRng, TResult>, Random <TRng, Maybe <TResult> >, Maybe <TResult>, TResult>)source.MapT <Random <TRng, TResult>, Random <TRng, Maybe <TResult> >, Maybe <TResult>, TResult>(f);
//Identity
public static MaybeT <Identity <TResult>, Identity <Maybe <TResult> >, Maybe <TResult>, TResult> Select <TSource, TResult>(
this MaybeT <Identity <TSource>, Identity <Maybe <TSource> >, Maybe <TSource>, TSource> source, Func <TSource, TResult> f)
=> (MaybeT <Identity <TResult>, Identity <Maybe <TResult> >, Maybe <TResult>, TResult>)source.MapT <Identity <TResult>, Identity <Maybe <TResult> >, Maybe <TResult>, TResult>(f);
//Const{T}
/*public static MaybeT<Const<TResult>, Const<Maybe<TResult>>, Maybe<TResult>, TResult> Select<TSource, TResult>(
* this MaybeT<Const<TSource>, Const<Maybe<TSource>>, Maybe<TSource>, TSource> source, Func<TSource, TResult> f)
* => (MaybeT<Const<TResult>, Const<Maybe<TResult>>, Maybe<TResult>, TResult>)source.MapT<Const<TResult>, Const<Maybe<TResult>>, Maybe<TResult>, TResult>(f);*/
//Either
public static MaybeT <Either <TLeft, TResult>, Either <TLeft, Maybe <TResult> >, Maybe <TResult>, TResult> Select <TLeft, TSource, TResult>(
this MaybeT <Either <TLeft, TSource>, Either <TLeft, Maybe <TSource> >, Maybe <TSource>, TSource> source, Func <TSource, TResult> f)
=> (MaybeT <Either <TLeft, TResult>, Either <TLeft, Maybe <TResult> >, Maybe <TResult>, TResult>)source.MapT <Either <TLeft, TResult>, Either <TLeft, Maybe <TResult> >, Maybe <TResult>, TResult>(f);
